Partial-redundancy elimination